hamiltonian circuit problem algorithm